Estos son todos los móviles Redmi que ya están recibiendo la actualización a HyperOS